Diagrammatic Reasoning and Mathematical Morphology
نویسنده
چکیده
Smart graphics can be beneficial beyond the level of the user interface. A synergistic combination of artificial intelligence methods and image processing techniques can be useful in permitting intelligent interaction with graphical representations at the processing level as well. An example of such a combination is explored in the context of a diagrammatic information system.
منابع مشابه
Diagrammatic Reasoning: Analysis of an Example
We argue that a purely diagrammatic proof of a nontrivial mathematical theorem is impossible, because a diagram cannot indicate how it should be generalized. The case is made by subjecting a famous diagrammatic demonstration of Pythagoras' theorem to a close examination, showing that it can be seen to be a demonstration of several different theorems.
متن کاملFormalization of Visual Mathematical Notations
This paper discusses picture logic, a visual language for the specification of diagrams and diagram transformations. Formal specification techniques for diagrammatic or visual languages have previously mainly been targeted towards static diagrammatic languages. For reasoning about certain types of diagrams, however, formalizing a notion of change is inevitable. This is particularly true of visu...
متن کاملAbstraction , Visualisation and Graphical Proof
In this paper we investigate the process of learning and verifying graphical theorems through abstraction and visualisation. First, the notion of effectiveness of a representation is discussed from both a computational and a cognitive perspective; the nature of the relation between external representations and abstraction in these two views, and its implications for diagrammatic reasoning in AI...
متن کاملEuclid's diagrammatic logic and cognitive science
For more than two millennia, Euclid’s Elements set the standard for rigorous mathematical reasoning. The reasoning practice the text embodied is essentially diagrammatic, and this aspect of it has been captured formally in a logical system termed Eu [2, 3]. In this paper, we review empirical and theoretical works in mathematical cognition and the psychology of reasoning in the light of Eu. We a...
متن کاملVisual Mathematics: Diagrammatic Formalization and Proof
Diagrams have been used for centuries in the visualization of mathematical concepts and to aid the exploration and formalization of ideas. This is hardly surprising given the intuitive appeal of visual languages. Thus it seems very natural to establish how diagrams can play an integral part of mathematical formalization and reasoning, giving them the same status as the symbolic languages that t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000